#unspecified
#unspecified
#unspecified
#unspecified
=============== Define DP-embedding wanted ==============
(Processing:  (A1L Justin wanted to have RAI A2LR a duck))

-------------------
edge      : 450 A1L Justin wanted to have RAI A2LR a duck	(0 9)	((e \1 t) /2 (t / (e \ t))) 
semantics : (^ r (^ r1 (^ w (forall v ((D w (r1 w) v) -> ((r (^ r3 (^ w (have w (r1 w) (r3 w))))) v))))))
proofnet  : ((((1 . e) \1 (2 . t)) /2 ((3 . t) / ((4 . e) \ (5 . t)))) (A1L ((((1 . e) \1 (2 . t)) // ((1 . e) \\ (2 . t))) / (1 . e))) (Justin (1 . e)) (wanted (((1 . e) \ (6 . t)) / ((7 . e) \ (8 . t)))) (to (((7 . e) \ (8 . t)) / ((9 . e) \ (10 . t)))) (have (((11 . e) \ (12 . t)) / (13 . e))) (RAI (((((11 . e) \ (12 . t)) / (13 . e)) \ ((9 . e) \ (10 . t))) / ((3 . t) / ((4 . e) \ (5 . t))))) (A2LR (((((1 . e) \1 (2 . t)) /2 ((3 . t) / ((4 . e) \ (5 . t)))) // (((3 . t) / ((4 . e) \ (5 . t))) \\ ((1 . e) \1 (2 . t)))) / ((3 . t) / ((4 . e) \ (5 . t))))) (a (((3 . t) / ((4 . e) \ (5 . t))) / ((14 . e) \N (15 . t)))) (duck ((14 . e) \N (15 . t))))
derivation: (D ((Z ((Z (U L)) (A1L Justin))) ((Z (U wanted)) ((Z (U to)) ((Z (U (L have))) ((Z (U RAI)) (A2LR (a duck))))))))
1307 edges -- Done parsing.
#<output_port:stdout>

=============== Use the defined word  ==============
(Processing:  (Justin wanted a duck))

-------------------
edge      : 86 Justin wanted a duck	(0 4)	t 
semantics : (^ w (forall v ((D w j v) -> (exists x (duck v x) & (have v j x)))))
proofnet  : ((1 . t) (Justin (2 . e)) (wanted (((2 . e) \ (1 . t)) / ((3 . t) / ((4 . e) \ (5 . t))))) (a (((3 . t) / ((4 . e) \ (5 . t))) / ((6 . e) \N (7 . t)))) (duck ((6 . e) \N (7 . t))))
derivation: ((L Justin) (wanted (a duck)))

-------------------
edge      : 169 Justin wanted a duck	(0 4)	t 
semantics : (^ w (forall v ((D w j v) -> (exists x (duck v x) & (have v j x)))))
proofnet  : ((1 . t) (Justin (2 . e)) (wanted (((2 . e) \ (3 . t)) / ((4 . t) / ((5 . e) \ (6 . t))))) (a (((4 . t) / ((5 . e) \ (6 . t))) / ((7 . e) \N (8 . t)))) (duck ((7 . e) \N (8 . t))))
derivation: (D (U ((L Justin) (wanted (a duck)))))
253 edges -- Done parsing.
#<output_port:stdout>
